Haxthausen, Anne E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS

Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund

Journal:

Future Generation Computer Systems

Year:

1992

Language:

english

File:

PDF, 2.14 MB

english, 1992

2

A formal approach for the construction and verification of railway control systems

Anne E. Haxthausen, Jan Peleska, Sebastian Kinder

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 660 KB

english, 2011

3

Formal modelling and verification of interlocking systems featuring sequential release

Vu, Linh Hong, Haxthausen, Anne E., Peleska, Jan

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.92 MB

english, 2016

4

[IEEE 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - St. Petersburg, Russia (2017.3.6-2017.3.8)] 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Model Checking Geographically Distributed Interlocking Systems Using UMC

Fantechi, Alessandro, Haxthausen, Anne E., Nielsen, Michel Boje Randahl

Year:

2017

Language:

english

File:

PDF, 650 KB

english, 2017

5

Automated generation of formal safety conditions from railway interlocking tables

Haxthausen, Anne E.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 383 KB

english, 2014

6

Specification, proof, and model checking of the Mondex electronic purse using RAISE

Chris George, Anne E. Haxthausen

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 150 KB

english, 2008

7

Modelling and Verification of Interlocking Systems for Railway Lines

Gjaldbæk, Torben, Haxthausen, Anne E.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 611 KB

english, 2003

8

Modelling Railway Interlocking Systems

Lindegaard, Morten P., Viuf, Peter, Haxthausen, Anne E.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.50 MB

english, 2000

9

[Lecture Notes in Computer Science] Theoretical Aspects of Computing - ICTAC 2008 Volume 5160 || Endomorphisms for Non-trivial Non-linear Loop Invariant Generation

Fitzgerald, John S., Haxthausen, Anne E., Yenigun, Husnu

Year:

2008

Language:

english

File:

PDF, 524 KB

english, 2008

10

Towards Domain-Specific Formal Specification Languages for Railway Control Systems

Peleska, Jan, Baer, Alexander, Haxthausen, Anne E.

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.48 MB

english, 2000

11

[Lecture Notes in Computer Science] Theoretical Aspects of Computing - ICTAC 2008 Volume 5160 || Using Design Patterns in Formal Methods: An Event-B Approach

Fitzgerald, John S., Haxthausen, Anne E., Yenigun, Husnu

Year:

2008

Language:

english

File:

PDF, 140 KB

english, 2008

12

[Lecture Notes in Computer Science] Theoretical Aspects of Computing - ICTAC 2008 Volume 5160 ||

Fitzgerald, John S., Haxthausen, Anne E., Yenigun, Husnu

Year:

2008

Language:

english

File:

PDF, 8.77 MB

english, 2008

13

Automatic Verification, Validation and Test for Railway Control Systems Based on Domain-Specific Descriptions

Haxthausen, Anne E., Peleska, Jan

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 727 KB

english, 2003

14

Order-sorted algebraic specifications with higher-order functions

Anne Elisabeth Haxthausen

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.78 MB

english, 1997

15

[IEEE 2013 3rd International Workshop on Developing Tools as Plug-ins (TOPI) - San Francisco, CA, USA (2013.05.21-2013.05.21)] 2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) - A rigorous methodology for analyzing and designing plug-ins

Fasie, Marieta V., Haxthausen, Anne E., Kiniry, Joseph R.

Year:

2013

Language:

english

File:

PDF, 115 KB

english, 2013

16

[Lecture Notes in Computer Science] Theoretical Aspects of Computing - ICTAC 2008 Volume 5160 || Inclusion Test Algorithms for One-Unambiguous Regular Expressions

Fitzgerald, John S., Haxthausen, Anne E., Yenigun, Husnu

Year:

2008

Language:

english

File:

PDF, 590 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски